Scalable algorithm simplification using quantum AND logic

نویسندگان

چکیده

Abstract Implementing quantum algorithms on realistic devices requires translating high-level global operations into sequences of hardware-native logic gates, a process known as compiling. Physical limitations, such constraints in connectivity and gate alphabets, often result unacceptable implementation costs. To enable successful near-term applications, it is crucial to optimize compilation by exploiting the capabilities existing hardware. Here we implement resource-efficient construction for version AND that can reduce overhead, enabling execution key circuits. On high-scalability superconducting processor, demonstrate low-depth synthesis high-fidelity generalized Toffoli gates with up 8 qubits Grover’s search algorithm space 64 entries. Our experimental demonstration illustrates scalable widely applicable approach implementing algorithms, bringing more meaningful applications noisy within reach.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Quantum Circuit Simplification Using Templates

The synthesis of quantum circuits is a complex problem even for circuits with a small number of lines. At present, optimal synthesis is intractable and heuristic methods must be employed. In this paper, we consider the use of templates to simplify a quantum circuit initially found by other means. The templates tool presented here is a general approach to reversible and quantum circuit simplific...

متن کامل

Spectroscopy using quantum logic.

We present a general technique for precision spectroscopy of atoms that lack suitable transitions for efficient laser cooling, internal state preparation, and detection. In our implementation with trapped atomic ions, an auxiliary "logic" ion provides sympathetic laser cooling, state initialization, and detection for a simultaneously trapped "spectroscopy" ion. Detection is achieved by applying...

متن کامل

Scalable Web Reasoning Using Logic Programming Techniques

One of the key issues for the uptake of the Semantic Web idea is the availability of reasoning techniques that are usable on a large scale and that offer rich modelling capabilities by providing comprehensive coverage of the OWL language. In this paper we present a scalable extension of our ABox reasoning framework called DLog. DLog performs query-driven execution whereby the terminological par...

متن کامل

Simplification of Many-Valued Logic Formulas Using Anti-Links

We present the theoretical foundations of the many-valued generalization of a technique for simplifying large non-clausal formulas in propositional logic, that is called removal of anti-links. Possible applications include computation of prime implicates of large non-clausal formulas as required, for example, in diagnosis. With the anti-link technique, one does not compute any normal form of a ...

متن کامل

Point-based Simplification Algorithm

This study presents a novel, rapid, and effective point simplification algorithm based on a point cloud without any normal and connectivity information. This study is initiated with a scattered sampled point set in three dimensions, and the final output is a triangular mesh model, which is simplified according to a restrictive criteria. The proposed method reduces the number of calculations req...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Nature Physics

سال: 2022

ISSN: ['1745-2473', '1745-2481']

DOI: https://doi.org/10.1038/s41567-022-01813-7